/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package treegenerator.gui;

import java.io.File;

/**
 *
 * @author jannes
 */
public class TreeFileFormatter extends File{
        
    public TreeFileFormatter(File file){
        super(file.getAbsolutePath());
    }
    
    public TreeFileFormatter(String path){
        super(path);
    }
    
    public TreeFileFormatter(File parent, String path){
        super(parent, path);
    }
    
    @Override
    public String toString(){
        return getName().substring(0, getName().length()-4);
    }
}
